MedLan: a Logic-based Mediator Language
نویسندگان
چکیده
In this paper we focus on the construction of a declarative mediator language. The language provides the ability to handle multiple logic theories, extended with program expressions. Two motivating examples are presented. The denotational and operational semantics of the language are introduced and a bottom-up e cient implementation is de ned and proved correct with respect to the given semantics.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملApplications of Medical Wireless LAN Systems (MedLAN)
In this paper the Wireless LAN (WLAN) networking principals are presented along with some of the implementation scenarios dedicated for Accidents and Emergencies wards. Preliminary simulation results of the MedLAN concept are also presented together with ongoing and future work in this area.
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملDesign and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic
In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...
متن کاملA Meeting Scheduling System Based on Open Constraint Programming
In this paper, we introduce a meeting scheduling system based on open constraint programming (OCP) paradigm. OCP is an extension to constraint logic programming (CLP), where a server capable of executing constraint logic programs acts as a mediator of communicating reactive agents. A meeting among several users can be scheduled automatically by a constraint logic program in the server based on ...
متن کامل